1![On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104 On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104](https://www.pdfsearch.io/img/bf79a10bd26beebf8d82b4a2e856b7b9.jpg) | Add to Reading ListSource URL: www.phil.uu.nlLanguage: English - Date: 2008-02-06 05:45:02
|
---|
2![Context-givenness vs. existential quantification Salvador Mascarenhas New York University This paper argues that there are strong parallelisms between indefinite noun phrases and two seemingly unrelated constructions, na Context-givenness vs. existential quantification Salvador Mascarenhas New York University This paper argues that there are strong parallelisms between indefinite noun phrases and two seemingly unrelated constructions, na](https://www.pdfsearch.io/img/4e291405dfa106470dffbb2654539118.jpg) | Add to Reading ListSource URL: www.macsim.usLanguage: English - Date: 2011-06-24 13:35:02
|
---|
3![Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria](https://www.pdfsearch.io/img/e6449887bc91355a17dfe9bc45b69abe.jpg) | Add to Reading ListSource URL: www.phil.uu.nlLanguage: English - Date: 2009-04-03 05:11:01
|
---|
4![¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” ¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”](https://www.pdfsearch.io/img/ddd01a6d5bfa816d5795a01f175468d2.jpg) | Add to Reading ListSource URL: resources.mpi-inf.mpg.deLanguage: English - Date: 2010-08-07 06:03:33
|
---|
5![Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011 Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011](https://www.pdfsearch.io/img/88683e88b43a9c782ee7226fd73cea9a.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2011-03-16 15:35:01
|
---|
6![Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog](https://www.pdfsearch.io/img/e3fc8049a0215a1fa5bb40d9fcb13cd1.jpg) | Add to Reading ListSource URL: who.rocq.inria.frLanguage: English - Date: 2011-01-28 11:35:50
|
---|
7![](https://www.pdfsearch.io/img/469f7cd499d7d009677b2a0eb89c21b2.jpg) | Add to Reading ListSource URL: people.ucsc.eduLanguage: English - Date: 2015-01-24 16:05:40
|
---|
8![A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner + Some slides from A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner + Some slides from](https://www.pdfsearch.io/img/ec5b7e72b1426bc880e9318a5f401d8d.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2006-04-12 01:52:20
|
---|
9![](https://www.pdfsearch.io/img/f23816234bf3781fef556293f20b5128.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2014-08-27 06:04:04
|
---|
10![Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1 Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1](https://www.pdfsearch.io/img/f28a4aa796a4f63046a3611641a58c90.jpg) | Add to Reading ListSource URL: people.ucsc.eduLanguage: English - Date: 2015-01-24 16:05:41
|
---|